\chapter{Prefácio}
Como disse Flatberg, em \cite{flatberg09opl}, a motivação para utilizar uma linguagem de modelagem, como \textsf{OPL}, são que esta:
\begin{itemize}
 \item apresenta uma síntaxe que é próxima da formulação matemática;
 \item permite uma separação entre o modelo e a instância numérica de dados.
\end{itemize}
Deste modo, nos primeiros capítulos apresentamos a síntaxe do linguagem \textsf{OPL}.

Posteriormente apresentamos como utilizar o \textsf{CPLEX} para resolver os modelos desenvolvidos na \textsf{OPL}.

Na Figura \ref{fig:Solvers} é apresentado uma estatística comparativa dos principais \textit{solvers} existentes. Pode-se observar que o \textsf{CPLEX} apresenta um dos melhores desempenho de todos de modo que utilizá-lo quase sempre é uma boa escolha. Deve-se destacar que a utilização do \textsf{CPLEX} em sistemas operacionais diferentes é muito diferente e algumas funcionalidades existentes para um sistema operacional podem não estar disponíveis em outro.

\begin{figure}[h!]
 \centering
 \includegraphics[width=\textwidth]{./solvers.png}
 % solvers.png: 0x0 pixel, -2147483648dpi, nanxnan cm, bb=
 \caption{MIP solver benchmark: Geometric mean of results taken from the homepage of Hans Mittelmann, \url{http://plato.asu.edu/ftp/milpf.html} (16/Jan/2011). \\ Unsolved or failed instances are accounted for with the time limit of 2 hours.}
 \label{fig:Solvers}
\end{figure}

